Parallelism in ADA: Program Design and Meaning
نویسندگان
چکیده
منابع مشابه
Parallelism in Ada: Program Design and Meaning
The art of designing parallel programs is underdeveloped because we do not understand parallelism clearly. This paper suggests a programming methodology and it gives a precise definition of the ADA form of parallelism. The methodology is based on ideas of Milner and it can be used when designing parallel programs in languages other than ADA, Computer Science Department~ Aarhus University~ Ny Mu...
متن کاملAda - problems solving and program design
It sounds good when knowing the ada problem solving and program design in this website. This is one of the books that many people looking for. In the past, many people ask about this book as their favourite book to read and collect. And now, we present hat you need quickly. It seems to be so happy to offer you this famous book. It will not become a unity of the way for you to get amazing benefi...
متن کاملAn Execution Model for Fine-Grained Parallelism in Ada
This paper extends the authors earlier proposal for providing Ada with support for fine-grained parallelism with an execution model based on the concept of ab-stract executors, detailing the progress guarantees that these executors must pro-vide and how these can be assured even in the presence of potentially blocking operations. The paper also describes how this execution model can be applied ...
متن کاملTasklettes - A Fine Grained Parallelism for Ada on Multicores
The widespread use of multi-CPU computers is challenging programming languages, which need to adapt to be able to express potential parallelism at the language level. In this paper we propose a new model for fine grained parallelism in Ada, putting forward a syntax based on aspects, and the corresponding semantics to integrate this model with the existing Ada tasking capabilities. We also propo...
متن کاملPragmatic Design with Ada
This paper examines some of the problems associated with the design and implementation of large real-time systems in Ada. Methods for reducing these problems are described, including the identification of patterns within the behaviour of the system leading to the use of standardised patterns for the structure of the solutions. Case studies from real-life projects are used to illustrate these id...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1980
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v8i103.6528